:: t -> t1 -> t package:linear-base

raise a number to a non-negative integral power